Search Results

@rae: Existentials and writing functions for length-indexed vectors

@rae: Existentials and writing functions for length-indexed vectors

@rae: Using proofs to make functions faster over length-indexed vectors

@rae: Using proofs to make functions faster over length-indexed vectors

@rae: Type families help define functions over length-indexed vectors

@rae: Type families help define functions over length-indexed vectors

@rae: How to program in types with length-indexed vectors: Part 1

@rae: How to program in types with length-indexed vectors: Part 1

@rae: Using singleton types to replicate a length-indexed Vector

@rae: Using singleton types to replicate a length-indexed Vector

@rae: Getting a little fancy with Haskell's kinds

@rae: Getting a little fancy with Haskell's kinds

@rae: Figuring out what constraints to generalize is hard

@rae: Figuring out what constraints to generalize is hard

An Existential Crisis Resolved: Type Inference for First-Class Existential Types

An Existential Crisis Resolved: Type Inference for First-Class Existential Types

@rae: Pattern synonyms can improve performance while retaining safety

@rae: Pattern synonyms can improve performance while retaining safety

Part 8: Haskell - Thinking with types (Chapter 7: Existential Types)

Part 8: Haskell - Thinking with types (Chapter 7: Existential Types)

@rae: Avoid boilerplate instances with -XDerivingVia

@rae: Avoid boilerplate instances with -XDerivingVia

@rae: Avoid losing money via -XLinearTypes

@rae: Avoid losing money via -XLinearTypes